翻訳と辞書 Words near each other ・ Equating coefficients ・ Equation ・ Equation (band) ・ Equation (disambiguation) ・ Equation (poem) ・ Equation clock ・ Equation Group ・ Equation of exchange ・ Equation of state ・ Equation of state (cosmology) ・ Equation of State Calculations by Fast Computing Machines ・ Equation of the center ・ Equation of time ・ Equation solving ・ Equation-free modeling ・ Equational logic ・ Equations defining abelian varieties ・ Equations for a falling body ・ Equations of motion ・ Equative ・ Equative case ・ Equatoguinean Americans ・ Equatoguinean Cup ・ Equatoguinean literature in Spanish ・ Equatoguinean Premier League ・ Equatoguinean Spanish ・ Equator ・ Equator (BBC TV series) ・ Equator (disambiguation) ・ Equator (Randy Stonehill album) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Equational logic ： ウィキペディア英語版 Equational logic First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol. The model theory of this logic was developed into Universal algebra by Birkhoff, Grätzer and Cohn. It was later made into a branch of category theory by Lawvere ("algebraic theories").〔equational logic. (n.d.). The Free On-line Dictionary of Computing. Retrieved October 24, 2011, from Dictionary.com website: http://dictionary.reference.com/browse/equational+logic〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Equational logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.